1. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
2. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
3. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
4. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
